(eq (type-of 1u) type-u)
